and Logic - PDFSEARCH.IO - Document Search Engine

and Logic
Results: 11835

#	Item
431	Comparison of Key/Value Store (KVS) in Software and Programmable Hardware John W. Lockwood, CEO: Algo-Logic Systems, Inc. http://Algo-Logic.com • • ( • 2255-D Martin Ave., Sant Add to Reading List Source URL: www.hotchips.org Language: English - Date: 2015-08-21 02:18:29 Computing Electrical engineering Reconfigurable computing Technology Networking hardware Data Plane Development Kit Fabless semiconductor companies Computer networking Field-programmable gate array Altera Nallatech Packet processing
432	2015 IEEE Symposium on Security and Privacy TinyGarble: Highly Compressed and Scalable Sequential Garbled Circuits Ebrahim M. Songhori∗ , Siam U. Hussain∗ , Ahmad-Reza Sadeghi† , Thomas Schneider† , Farinaz Kous Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2015-05-11 16:43:20 Electronic engineering Digital electronics Electronics Electronic design automation Electronic design Logic in computer science Cryptographic protocols Garbled circuit Boolean circuit Sequential logic Logic synthesis Standard cell
433	Practical reasoning John Broome University of Oxford For: Reason and Nature: Essays in the Theory of Rationality, edited by José Bermùdez and Alan Millar, Oxford University Press. This paper was written while I was a v Add to Reading List Source URL: users.ox.ac.uk Language: English - Date: 2002-08-01 11:47:14 Philosophy Logic Reasoning Abstraction Reason Inference Practical reason Normative Argument David Hume Isought problem Defeasible reasoning
434	Wavelets and Image Compression Bradley J. Lucier Abstract. In this paper we present certain results about the compression of images using wavelets. We concentrate on the simplest case of the Haar decomposition and compr Add to Reading List Source URL: www.math.purdue.edu Language: English - Date: 2015-10-07 14:27:16 Mathematical analysis Mathematics Functional analysis Signal processing Operator theory Image compression Wavelet transform Wavelet Distribution Constructible universe Craig interpolation Linear temporal logic
435	A Type-Theoretic Interpretation of Standard ML Robert Harper and Christopher Stone frwh, School of Computer Science Carnegie Mellon University Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2001-06-27 15:19:02 Software engineering Programming language theory Computer programming Type theory Procedural programming languages Functional languages Logic in computer science Programming language semantics Standard ML Denotational semantics Monad Type system
436	Modal verbs A modal verb is an extra verb which is used before the main verb and gives more information about the main verb. An example of a modal verb is the verb ‘can’. ‘Can’ goes before another verb and shows Add to Reading List Source URL: www.chambers.co.uk Language: English - Date: 2015-02-17 11:04:57 Linguistics Grammar Syntax Parts of speech English modal verbs Modality Modal verb Shall and will Infinitive Modal logic Verb Uses of English verb forms
437	Bayesian and Dominant Strategy Implementation Revisited Alex Gershkov, Benny Moldovanu and Xianwen ShiAbstract Add to Reading List Source URL: www.econ2.uni-bonn.de Language: English - Date: 2014-03-26 06:49:17 Database theory Logic Akritean distance Digital geometry
438	On the Robustness of Qualitative Distance- and Direction-Reasoning* Jung-Hong Hong Department of Surveying Engineering National Cheng-Kung University Add to Reading List Source URL: mapcontext.com Language: English - Date: 2008-08-29 22:26:16 Cognition Reasoning Cognitive science Logic Knowledge representation Constraint programming Educational psychology Spatialtemporal reasoning Qualitative reasoning Spatial relation Reasoning system Andrew U. Frank
439	Empirical Issues in Syntax and Semantics 8 O. Bonami & P. Cabredo Hofherr (eds, pp. 487–510 http://www.cssp.cnrs.fr/eiss8 Incremental more Add to Reading List Source URL: www.cssp.cnrs.fr Language: English - Date: 2011-02-22 02:19:49 Logic Abstraction Circuit complexity NC Quantifier Cardinality
440	ALGORITHMS FOR SEMI-AUTOMATIC WEB SERVICE COMPOSITION: DATA MEDIATION AND SERVICE SUGGESTION by RUI WANG (Under the Direction of Eileen T. Kraemer and John A. Miller) ABSTRACT Add to Reading List Source URL: mango.ctegd.uga.edu Language: English - Date: 2013-11-20 03:56:57 Computing Web standards World Wide Web Web services Semantic Web Algorithm Mathematical logic Theoretical computer science Mediation Web Services Description Language SAWSDL Computational linguistics

UPDATE